DeLorean: A Reasoner for Fuzzy OWL 1.1
نویسندگان
چکیده
Classical ontologies are not suitable to represent imprecise or vague pieces of information, which has led to fuzzy extensions of Description Logics. In order to support an early acceptance of the OWL 1.1 ontology language, we present DeLorean, the first reasoner that supports a fuzzy extension of the Description Logic SROIQ, closely equivalent to it. It implements some interesting optimization techniques, whose usefulness is shown in a preliminary empirical evaluation.
منابع مشابه
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but they require an appropriate fuzzy language to be agreed and an important number of available resources to be adapted. This paper faces these problems by presenting a reasoning preserving procedure to obtain a crisp re...
متن کاملSupporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++
This paper describes integrated tools support for OWL 1.1 in the form of the FaCT++ Description Logic reasoner and the ProtégéOWL ontology editor. Challenges of designing and implementing OWL 1.1 reasoning algorithms are highlighted, and an outline of an OWL 1.1 API and editing environment is provided.
متن کاملSchema-Agnostic Query Rewriting in SPARQL 1.1
SPARQL 1.1 supports the use of ontologies to enrich query results with logical entailments, and OWL 2 provides a dedicated fragment OWL QL for this purpose. Typical implementations use the OWL QL schema to rewrite a conjunctive query into an equivalent set of queries, to be answered against the non-schema part of the data. With the adoption of the recent SPARQL 1.1 standard, however, RDF databa...
متن کاملA prototypical OWL Full Reasoner based on First-Order Reasoning
We report on our ongoing endeavour to create a prototypical reasoning system for the OWL 2 Full ontology language and several of its sublanguages, including RDFS and the OWL 2 RL/RDF Rules. Among the languages specified by the W3C OWL 2 standard, OWL 2 Full is the most expressive one, and several other languages, such as RIF and SPARQL 1.1, have dependencies on OWL 2 Full, but to date no reason...
متن کاملDIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners
The DIG Interface provides an implementation-neutral mechanism for accessing Description Logic reasoner functionality. At a high level the interface consists of XML messages sent to the reasoner over HTTP connections, with the reasoner responding as appropriate. Key changes in the current version (DIG 2.0) include support for OWL 1.1 and well-defined mechanisms for extensions to the basic inter...
متن کامل